Type systems for computer algebra
نویسنده
چکیده
I
منابع مشابه
Extended Fuzzy $BCK$-subalgebras
This paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study considers a type of fuzzy hyper $BCK$-ideals in this hyperstructure and describes the relationship between hyper $BCK$-ideals and fuzzy hyper $BCK$-ideals. In fact, it tries to introduce a strongly regular relation on hyper $...
متن کاملRegularity in residuated lattices
In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...
متن کاملON SELBERG-TYPE SQUARE MATRICES INTEGRALS
In this paper we consider Selberg-type square matrices integrals with focus on Kummer-beta types I & II integrals. For generality of the results for real normed division algebras, the generalized matrix variate Kummer-beta types I & II are defined under the abstract algebra. Then Selberg-type integrals are calculated under orthogonal transformations.
متن کاملA Type-Coercion Problem in Computer Algebra
An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system are polymorphism and coercion between types. Recently the use of order-sorted rewrite systems was proposed as a general framework. We will give a quite simple example of a family of types arising in computer algebra whose coerc...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملOpportunities and Limitations of Computer Algebra in Education
Computer algebra systems are frequently used for research. In addition, some instructors have based entire advanced courses around these systems. One benefit is that they allow students to become familiar with the methods of calculus by individual experimentation. However, instructors have generally seen computer algebra systems as unsuitable for introductory algebra since the software is capab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993